🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Feeds to Scour
SubscribedAll
Scoured 19418 posts in 192.3 ms
Let Lambda Come Over
yamlscript.org·12h
⬆️Lambda Lifting
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🎯Performance Proofs
RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
arxiv.org·1d
⚔️Lean Tactics
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·1d
🤝Consensus Protocols
Railway Oriented Programming
fsharpforfunandprofit.com·1d·
Discuss: Hacker News
🐚Shell Monads
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Boost LLM Security: automated Red Teaming at Scale with Promptfoo
blog.nviso.eu·2d
⚡Proof Automation
Build a Compiler in Five Projects
kmicinski.com·8h
🔨Compilers
Common Manual Testing Techniques and The Future Of Manual Testing in the age of AI
dev.to·11h·
Discuss: DEV
🧪Property-Based Testing
Logic for Programmers New Release and Next Steps
buttondown.com·3d
⚙️Proof Engineering
First Proof
arxiv.org·1d·
Discuss: Hacker News, Hacker News
👑Isabelle
OSTEP Chapters 6,7
muratbuffalo.blogspot.com·2d·
Discuss: Blogger
⚡CPU Microarchitecture
Full-circle Test-driven Firmware Development with OpenClaw
blog.adafruit.com·2h·
Discuss: Hacker News
🔍Concolic Testing
Differential Logic • 1
inquiryintoinquiry.com·2d
📏Linear Logic
8-piece tablebase development on Lichess (op1 partial)
lichess.org·8h·
Discuss: Hacker News
⚔️Lean Tactics
Automatic Programming
notes.billmill.org·2d
⚡Proof Automation
Metasploit Wrap-Up 02/06/2026
rapid7.com·23h
🛡️eBPF Security
Boundary Engineering
cabreza.substack.com·22h·
Discuss: Substack
🛡️Error Boundaries
Everyone Says AI Is Insecure, So I Measured It
hackernoon.com·8h
🔓Hacking
Show HN: ZigZag – A Bubble Tea-Inspired TUI Framework for Zig
github.com·14h·
Discuss: Hacker News
🧮Z3 Solver

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help